prenex normal form

first-order formula consisting of a string of quantifiers and bound variables followed by a quantifier-free part